Understanding Task Design Trade-offs in Crowdsourced Paraphrase Collection Youxuan Jiang, Jonathan K. Kummerfeld and Walter S. Lasecki Computer Science & Engineering University of Michigan, Ann Arbor {lyjiang,jkummerf,wl

Source URL: web.eecs.umich.edu

Usability Properties in Dialog Models Martijn van Welie, Gerrit C. van der Veer, Anton Eliëns Vrije Universiteit, Department of Computer Science De Boelelaan 1081a, 1081 HV Amsterdam, Holland +, {martijn,ge

Source URL: www.welie.com

Online Algorithm Selection Hans Degroote1, Bernd Bischl2, Lars Kotthoff3 and Patrick De Causmaecker1 1KU Leuven, Department of Computer Science - CODeS & imec-ITEC 2Department of Statistics, LMU Munich

Source URL: www.coseal.net

The Influence of the Task on Programmer Behaviour Annie T.T. Ying and Martin P. Robillard School of Computer Science, McGill University, Montr´eal, QC, Canada {annie.ying,martin}@cs.mcgill.ca Abstract—Programmers per

Source URL: www.annieying.ca

αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu

Source URL: repository.readscheme.org

Types for Precise Thread Interference Jaeheon Yi Tim Disney Computer Science Department

Source URL: dept.cs.williams.edu

W[1]-hardness Dániel Marx1 1 Institute for Computer Science and Control, Hungarian Academy of Sciences (MTA SZTAKI) Budapest, Hungary

Source URL: www.cs.bme.hu

Curriculum Vitae Ruzica Piskac address: The Department of Computer Science

Source URL: www.cs.yale.edu

• Theoretical computer science
• Logic in computer science
• Symposium on Principles of Programming Languages
• International Joint Conference on Automated Reasoning
• Automated reasoning
• International Semantic Web Conference
• Satisfiability modulo theories
• Computer Aided Verification
• Separation logic
• Workshop on Reachability Problems
• Vienna Summer of Logic